1. Decision problems for equational theories of relation algebras
پدیدآورنده : Andreka, Hajnal
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Relation algebras,، Decidability )Mathematical logic(
رده :
QA
3
.
A475
no
.
604